extension | φ:Q→Out N | d | ρ | Label | ID |
(C4xD5).1C23 = C2xD8:D5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).1C2^3 | 320,1427 |
(C4xD5).2C23 = D8:13D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).2C2^3 | 320,1429 |
(C4xD5).3C23 = C2xD40:C2 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).3C2^3 | 320,1431 |
(C4xD5).4C23 = C2xSD16:D5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).4C2^3 | 320,1432 |
(C4xD5).5C23 = D20.29D4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).5C2^3 | 320,1434 |
(C4xD5).6C23 = C2xQ16:D5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).6C2^3 | 320,1436 |
(C4xD5).7C23 = D20.30D4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | 4 | (C4xD5).7C2^3 | 320,1438 |
(C4xD5).8C23 = Q16:D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).8C2^3 | 320,1440 |
(C4xD5).9C23 = D8:15D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 4+ | (C4xD5).9C2^3 | 320,1441 |
(C4xD5).10C23 = D8:11D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).10C2^3 | 320,1442 |
(C4xD5).11C23 = D20.47D4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | 4- | (C4xD5).11C2^3 | 320,1443 |
(C4xD5).12C23 = D5xC8:C22 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8+ | (C4xD5).12C2^3 | 320,1444 |
(C4xD5).13C23 = D8:5D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).13C2^3 | 320,1446 |
(C4xD5).14C23 = D8:6D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).14C2^3 | 320,1447 |
(C4xD5).15C23 = D5xC8.C22 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).15C2^3 | 320,1448 |
(C4xD5).16C23 = C40.C23 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).16C2^3 | 320,1450 |
(C4xD5).17C23 = D20.44D4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | 8- | (C4xD5).17C2^3 | 320,1451 |
(C4xD5).18C23 = C2xQ8.10D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).18C2^3 | 320,1617 |
(C4xD5).19C23 = C2xD4.10D10 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).19C2^3 | 320,1620 |
(C4xD5).20C23 = D20.37C23 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).20C2^3 | 320,1623 |
(C4xD5).21C23 = D5x2- 1+4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).21C2^3 | 320,1624 |
(C4xD5).22C23 = D20.39C23 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).22C2^3 | 320,1625 |
(C4xD5).23C23 = D8xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8+ | (C4xD5).23C2^3 | 320,1068 |
(C4xD5).24C23 = D40:C4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8+ | (C4xD5).24C2^3 | 320,1069 |
(C4xD5).25C23 = D8:5F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).25C2^3 | 320,1070 |
(C4xD5).26C23 = D8:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).26C2^3 | 320,1071 |
(C4xD5).27C23 = SD16xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).27C2^3 | 320,1072 |
(C4xD5).28C23 = SD16:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).28C2^3 | 320,1073 |
(C4xD5).29C23 = SD16:3F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).29C2^3 | 320,1074 |
(C4xD5).30C23 = SD16:2F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).30C2^3 | 320,1075 |
(C4xD5).31C23 = Q16xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).31C2^3 | 320,1076 |
(C4xD5).32C23 = Dic20:C4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).32C2^3 | 320,1077 |
(C4xD5).33C23 = Q16:5F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).33C2^3 | 320,1078 |
(C4xD5).34C23 = Q16:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).34C2^3 | 320,1079 |
(C4xD5).35C23 = C2xD20:C4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).35C2^3 | 320,1104 |
(C4xD5).36C23 = (D4xC10):C4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8+ | (C4xD5).36C2^3 | 320,1105 |
(C4xD5).37C23 = C2xD4:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).37C2^3 | 320,1106 |
(C4xD5).38C23 = (C2xD4):6F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).38C2^3 | 320,1107 |
(C4xD5).39C23 = C2xQ8:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).39C2^3 | 320,1119 |
(C4xD5).40C23 = (C2xQ8):4F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).40C2^3 | 320,1120 |
(C4xD5).41C23 = C2xQ8:2F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).41C2^3 | 320,1121 |
(C4xD5).42C23 = (C2xQ8):6F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).42C2^3 | 320,1122 |
(C4xD5).43C23 = D5:C4wrC2 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).43C2^3 | 320,1130 |
(C4xD5).44C23 = C4oD4:F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).44C2^3 | 320,1131 |
(C4xD5).45C23 = C4oD20:C4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).45C2^3 | 320,1132 |
(C4xD5).46C23 = D4:F5:C2 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).46C2^3 | 320,1133 |
(C4xD5).47C23 = C2xD4.F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).47C2^3 | 320,1593 |
(C4xD5).48C23 = Dic5.C24 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).48C2^3 | 320,1594 |
(C4xD5).49C23 = C2xD4xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | | (C4xD5).49C2^3 | 320,1595 |
(C4xD5).50C23 = D10.C24 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8+ | (C4xD5).50C2^3 | 320,1596 |
(C4xD5).51C23 = C2xQ8.F5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 160 | | (C4xD5).51C2^3 | 320,1597 |
(C4xD5).52C23 = Dic5.20C24 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).52C2^3 | 320,1598 |
(C4xD5).53C23 = C2xQ8xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | | (C4xD5).53C2^3 | 320,1599 |
(C4xD5).54C23 = D5.2- 1+4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).54C2^3 | 320,1600 |
(C4xD5).55C23 = Dic5.21C24 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).55C2^3 | 320,1601 |
(C4xD5).56C23 = Dic5.22C24 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).56C2^3 | 320,1602 |
(C4xD5).57C23 = C4oD4xF5 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).57C2^3 | 320,1603 |
(C4xD5).58C23 = D5.2+ 1+4 | φ: C23/C2 → C22 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).58C2^3 | 320,1604 |
(C4xD5).59C23 = C2xD5xD8 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).59C2^3 | 320,1426 |
(C4xD5).60C23 = C2xD8:3D5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).60C2^3 | 320,1428 |
(C4xD5).61C23 = C2xD5xSD16 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).61C2^3 | 320,1430 |
(C4xD5).62C23 = C2xSD16:3D5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).62C2^3 | 320,1433 |
(C4xD5).63C23 = C2xD5xQ16 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).63C2^3 | 320,1435 |
(C4xD5).64C23 = C2xQ8.D10 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).64C2^3 | 320,1437 |
(C4xD5).65C23 = D5xC4oD8 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).65C2^3 | 320,1439 |
(C4xD5).66C23 = SD16:D10 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 8- | (C4xD5).66C2^3 | 320,1445 |
(C4xD5).67C23 = D40:C22 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 8+ | (C4xD5).67C2^3 | 320,1449 |
(C4xD5).68C23 = C22xQ8xD5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).68C2^3 | 320,1615 |
(C4xD5).69C23 = C22xC8:D5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).69C2^3 | 320,1409 |
(C4xD5).70C23 = C2xD20.3C4 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).70C2^3 | 320,1410 |
(C4xD5).71C23 = C2xD20.2C4 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).71C2^3 | 320,1416 |
(C4xD5).72C23 = C40.47C23 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).72C2^3 | 320,1417 |
(C4xD5).73C23 = C20.72C24 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).73C2^3 | 320,1422 |
(C4xD5).74C23 = C10.C25 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).74C2^3 | 320,1621 |
(C4xD5).75C23 = C2xC40:C4 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).75C2^3 | 320,1057 |
(C4xD5).76C23 = C2xD5.D8 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).76C2^3 | 320,1058 |
(C4xD5).77C23 = (C2xC8):6F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).77C2^3 | 320,1059 |
(C4xD5).78C23 = C2xC40.C4 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).78C2^3 | 320,1060 |
(C4xD5).79C23 = C2xD10.Q8 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).79C2^3 | 320,1061 |
(C4xD5).80C23 = (C8xD5).C4 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).80C2^3 | 320,1062 |
(C4xD5).81C23 = M4(2):1F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).81C2^3 | 320,1065 |
(C4xD5).82C23 = M4(2).1F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).82C2^3 | 320,1067 |
(C4xD5).83C23 = C22xC4.F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).83C2^3 | 320,1588 |
(C4xD5).84C23 = C22xC4:F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).84C2^3 | 320,1591 |
(C4xD5).85C23 = C2xC8xF5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).85C2^3 | 320,1054 |
(C4xD5).86C23 = C2xC8:F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).86C2^3 | 320,1055 |
(C4xD5).87C23 = C20.12C42 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 4 | (C4xD5).87C2^3 | 320,1056 |
(C4xD5).88C23 = M4(2)xF5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 40 | 8 | (C4xD5).88C2^3 | 320,1064 |
(C4xD5).89C23 = M4(2):5F5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | 8 | (C4xD5).89C2^3 | 320,1066 |
(C4xD5).90C23 = C22xD5:C8 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 160 | | (C4xD5).90C2^3 | 320,1587 |
(C4xD5).91C23 = C2xD5:M4(2) | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).91C2^3 | 320,1589 |
(C4xD5).92C23 = C22xC4xF5 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).92C2^3 | 320,1590 |
(C4xD5).93C23 = C2xD10.C23 | φ: C23/C22 → C2 ⊆ Out C4xD5 | 80 | | (C4xD5).93C2^3 | 320,1592 |
(C4xD5).94C23 = D5xC22xC8 | φ: trivial image | 160 | | (C4xD5).94C2^3 | 320,1408 |
(C4xD5).95C23 = C2xD5xM4(2) | φ: trivial image | 80 | | (C4xD5).95C2^3 | 320,1415 |
(C4xD5).96C23 = D5xC8oD4 | φ: trivial image | 80 | 4 | (C4xD5).96C2^3 | 320,1421 |